Calculus of Constructions
#Fleeting_Notes
Calculus of Constructions(CoC)
端的に表しすぎると下記で構成されるはず
単純型付きラムダ計算
+
依存型
+
型コンストラクタ
+
ポリモーフィズム
(
多相型
)
確認用
Q. Calculus of Constructions
関連
ラムダ・キューブ
Calculus of Inductive Constructions(CIC)
調査用
Google.icon
Calculus of Constructions(日)
Google.icon
Calculus of constructions(英)
Wikipedia.icon
Calculus of Constructions - Wikipedia(日)
Calculus of Constructions(検索) - Wikipedia(日)
Wikipedia.icon
Calculus of constructions - Wikipedia(英)
Calculus of constructions(検索) - Wikipedia(英)